Extensions 1→N→G→Q→1 with N=C4×Q8 and Q=C22

Direct product G=N×Q with N=C4×Q8 and Q=C22
dρLabelID
Q8×C22×C4128Q8xC2^2xC4128,2155

Semidirect products G=N:Q with N=C4×Q8 and Q=C22
extensionφ:Q→Out NdρLabelID
(C4×Q8)⋊1C22 = C42.275C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):1C2^2128,1678
(C4×Q8)⋊2C22 = C42.278C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):2C2^2128,1681
(C4×Q8)⋊3C22 = C42.16C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):3C2^2128,1775
(C4×Q8)⋊4C22 = C42.18C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):4C2^2128,1777
(C4×Q8)⋊5C22 = C42.222D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):5C2^2128,1833
(C4×Q8)⋊6C22 = C42.225D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):6C2^2128,1837
(C4×Q8)⋊7C22 = C42.228D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):7C2^2128,1842
(C4×Q8)⋊8C22 = C42.232D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):8C2^2128,1846
(C4×Q8)⋊9C22 = C42.352C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):9C2^2128,1850
(C4×Q8)⋊10C22 = C42.357C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):10C2^2128,1855
(C4×Q8)⋊11C22 = C42.266D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):11C2^2128,1940
(C4×Q8)⋊12C22 = C42.269D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):12C2^2128,1943
(C4×Q8)⋊13C22 = C42.273D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):13C2^2128,1947
(C4×Q8)⋊14C22 = C42.275D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):14C2^2128,1949
(C4×Q8)⋊15C22 = C42.408C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):15C2^2128,1954
(C4×Q8)⋊16C22 = C42.410C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):16C2^2128,1956
(C4×Q8)⋊17C22 = SD16⋊D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):17C2^2128,1997
(C4×Q8)⋊18C22 = SD166D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):18C2^2128,1998
(C4×Q8)⋊19C22 = SD167D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):19C2^2128,2000
(C4×Q8)⋊20C22 = SD161D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):20C2^2128,2006
(C4×Q8)⋊21C22 = SD162D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):21C2^2128,2007
(C4×Q8)⋊22C22 = D4×SD16φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):22C2^2128,2013
(C4×Q8)⋊23C22 = SD1610D4φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):23C2^2128,2014
(C4×Q8)⋊24C22 = D47SD16φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):24C2^2128,2027
(C4×Q8)⋊25C22 = C42.461C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):25C2^2128,2028
(C4×Q8)⋊26C22 = C42.45C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):26C2^2128,2042
(C4×Q8)⋊27C22 = C42.46C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):27C2^2128,2043
(C4×Q8)⋊28C22 = C42.49C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):28C2^2128,2046
(C4×Q8)⋊29C22 = C42.472C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):29C2^2128,2055
(C4×Q8)⋊30C22 = C42.473C23φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):30C2^2128,2056
(C4×Q8)⋊31C22 = C22.44C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):31C2^2128,2187
(C4×Q8)⋊32C22 = C22.47C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):32C2^2128,2190
(C4×Q8)⋊33C22 = C22.48C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):33C2^2128,2191
(C4×Q8)⋊34C22 = C22.64C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):34C2^2128,2207
(C4×Q8)⋊35C22 = C22.75C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):35C2^2128,2218
(C4×Q8)⋊36C22 = C22.76C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):36C2^2128,2219
(C4×Q8)⋊37C22 = C22.77C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):37C2^2128,2220
(C4×Q8)⋊38C22 = C22.78C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):38C2^2128,2221
(C4×Q8)⋊39C22 = C22.80C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):39C2^2128,2223
(C4×Q8)⋊40C22 = C22.81C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):40C2^2128,2224
(C4×Q8)⋊41C22 = C22.82C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):41C2^2128,2225
(C4×Q8)⋊42C22 = C22.83C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):42C2^2128,2226
(C4×Q8)⋊43C22 = C22.84C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):43C2^2128,2227
(C4×Q8)⋊44C22 = C22.90C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):44C2^2128,2233
(C4×Q8)⋊45C22 = C22.94C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):45C2^2128,2237
(C4×Q8)⋊46C22 = C22.95C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):46C2^2128,2238
(C4×Q8)⋊47C22 = C22.97C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):47C2^2128,2240
(C4×Q8)⋊48C22 = C22.99C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):48C2^2128,2242
(C4×Q8)⋊49C22 = C22.102C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):49C2^2128,2245
(C4×Q8)⋊50C22 = C22.103C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):50C2^2128,2246
(C4×Q8)⋊51C22 = C22.108C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):51C2^2128,2251
(C4×Q8)⋊52C22 = C23.144C24φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):52C2^2128,2252
(C4×Q8)⋊53C22 = C22.110C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):53C2^2128,2253
(C4×Q8)⋊54C22 = C22.118C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):54C2^2128,2261
(C4×Q8)⋊55C22 = C22.122C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):55C2^2128,2265
(C4×Q8)⋊56C22 = C22.124C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):56C2^2128,2267
(C4×Q8)⋊57C22 = C22.125C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):57C2^2128,2268
(C4×Q8)⋊58C22 = C22.127C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):58C2^2128,2270
(C4×Q8)⋊59C22 = C22.128C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):59C2^2128,2271
(C4×Q8)⋊60C22 = C22.129C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):60C2^2128,2272
(C4×Q8)⋊61C22 = C22.130C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):61C2^2128,2273
(C4×Q8)⋊62C22 = C22.131C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):62C2^2128,2274
(C4×Q8)⋊63C22 = C22.132C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):63C2^2128,2275
(C4×Q8)⋊64C22 = C22.134C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):64C2^2128,2277
(C4×Q8)⋊65C22 = C22.135C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):65C2^2128,2278
(C4×Q8)⋊66C22 = C22.140C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):66C2^2128,2283
(C4×Q8)⋊67C22 = C22.147C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):67C2^2128,2290
(C4×Q8)⋊68C22 = C22.149C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):68C2^2128,2292
(C4×Q8)⋊69C22 = C22.150C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):69C2^2128,2293
(C4×Q8)⋊70C22 = C22.151C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):70C2^2128,2294
(C4×Q8)⋊71C22 = C22.153C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):71C2^2128,2296
(C4×Q8)⋊72C22 = C22.155C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):72C2^2128,2298
(C4×Q8)⋊73C22 = C22.157C25φ: C22/C1C22 ⊆ Out C4×Q832(C4xQ8):73C2^2128,2300
(C4×Q8)⋊74C22 = C2×C4×SD16φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):74C2^2128,1669
(C4×Q8)⋊75C22 = C2×SD16⋊C4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):75C2^2128,1672
(C4×Q8)⋊76C22 = C4×C8⋊C22φ: C22/C2C2 ⊆ Out C4×Q832(C4xQ8):76C2^2128,1676
(C4×Q8)⋊77C22 = C2×C4⋊SD16φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):77C2^2128,1764
(C4×Q8)⋊78C22 = C2×Q8.D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):78C2^2128,1766
(C4×Q8)⋊79C22 = C42.444D4φ: C22/C2C2 ⊆ Out C4×Q832(C4xQ8):79C2^2128,1770
(C4×Q8)⋊80C22 = C42.446D4φ: C22/C2C2 ⊆ Out C4×Q832(C4xQ8):80C2^2128,1772
(C4×Q8)⋊81C22 = C2×C23.32C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):81C2^2128,2158
(C4×Q8)⋊82C22 = C2×C23.33C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):82C2^2128,2159
(C4×Q8)⋊83C22 = C22.14C25φ: C22/C2C2 ⊆ Out C4×Q832(C4xQ8):83C2^2128,2160
(C4×Q8)⋊84C22 = C2×C23.36C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):84C2^2128,2171
(C4×Q8)⋊85C22 = C2×C23.37C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):85C2^2128,2175
(C4×Q8)⋊86C22 = C22.33C25φ: C22/C2C2 ⊆ Out C4×Q832(C4xQ8):86C2^2128,2176
(C4×Q8)⋊87C22 = C2×C22.35C24φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):87C2^2128,2185
(C4×Q8)⋊88C22 = C2×C22.36C24φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):88C2^2128,2186
(C4×Q8)⋊89C22 = C22.49C25φ: C22/C2C2 ⊆ Out C4×Q832(C4xQ8):89C2^2128,2192
(C4×Q8)⋊90C22 = C2×Q85D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):90C2^2128,2197
(C4×Q8)⋊91C22 = C2×D4×Q8φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):91C2^2128,2198
(C4×Q8)⋊92C22 = C2×Q86D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):92C2^2128,2199
(C4×Q8)⋊93C22 = D4×C4○D4φ: C22/C2C2 ⊆ Out C4×Q832(C4xQ8):93C2^2128,2200
(C4×Q8)⋊94C22 = C2×C22.46C24φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):94C2^2128,2202
(C4×Q8)⋊95C22 = C2×D43Q8φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):95C2^2128,2204
(C4×Q8)⋊96C22 = C2×C22.50C24φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):96C2^2128,2206
(C4×Q8)⋊97C22 = C2×C22.53C24φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8):97C2^2128,2211
(C4×Q8)⋊98C22 = C22.70C25φ: C22/C2C2 ⊆ Out C4×Q832(C4xQ8):98C2^2128,2213
(C4×Q8)⋊99C22 = C22.87C25φ: C22/C2C2 ⊆ Out C4×Q832(C4xQ8):99C2^2128,2230
(C4×Q8)⋊100C22 = C22.89C25φ: C22/C2C2 ⊆ Out C4×Q832(C4xQ8):100C2^2128,2232
(C4×Q8)⋊101C22 = C2×C4×C4○D4φ: trivial image64(C4xQ8):101C2^2128,2156
(C4×Q8)⋊102C22 = C4×2+ 1+4φ: trivial image32(C4xQ8):102C2^2128,2161

Non-split extensions G=N.Q with N=C4×Q8 and Q=C22
extensionφ:Q→Out NdρLabelID
(C4×Q8).1C22 = C42.46D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).1C2^2128,213
(C4×Q8).2C22 = C42.373D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).2C2^2128,214
(C4×Q8).3C22 = C42.47D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).3C2^2128,215
(C4×Q8).4C22 = C42.401D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).4C2^2128,217
(C4×Q8).5C22 = C42.316D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).5C2^2128,225
(C4×Q8).6C22 = C42.305D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).6C2^2128,226
(C4×Q8).7C22 = C42.52D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).7C2^2128,227
(C4×Q8).8C22 = C42.54D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).8C2^2128,229
(C4×Q8).9C22 = C812SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).9C2^2128,314
(C4×Q8).10C22 = C89Q16φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).10C2^2128,316
(C4×Q8).11C22 = D4.M4(2)φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).11C2^2128,317
(C4×Q8).12C22 = Q8.M4(2)φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).12C2^2128,319
(C4×Q8).13C22 = C89SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).13C2^2128,322
(C4×Q8).14C22 = C86Q16φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).14C2^2128,323
(C4×Q8).15C22 = C8⋊M4(2)φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).15C2^2128,324
(C4×Q8).16C22 = C8.M4(2)φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).16C2^2128,325
(C4×Q8).17C22 = C42.181C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).17C2^2128,352
(C4×Q8).18C22 = Q8⋊D8φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).18C2^2128,353
(C4×Q8).19C22 = D4⋊SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).19C2^2128,354
(C4×Q8).20C22 = Q8⋊SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).20C2^2128,355
(C4×Q8).21C22 = Q86SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).21C2^2128,358
(C4×Q8).22C22 = Q83D8φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).22C2^2128,359
(C4×Q8).23C22 = C42.189C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).23C2^2128,360
(C4×Q8).24C22 = C42.191C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).24C2^2128,362
(C4×Q8).25C22 = Q82SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).25C2^2128,363
(C4×Q8).26C22 = D4⋊Q16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).26C2^2128,364
(C4×Q8).27C22 = Q8⋊Q16φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).27C2^2128,365
(C4×Q8).28C22 = Q8.Q16φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).28C2^2128,368
(C4×Q8).29C22 = D4.3Q16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).29C2^2128,369
(C4×Q8).30C22 = C42.199C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).30C2^2128,370
(C4×Q8).31C22 = C42.201C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).31C2^2128,372
(C4×Q8).32C22 = Q8.D8φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).32C2^2128,373
(C4×Q8).33C22 = Q83SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).33C2^2128,374
(C4×Q8).34C22 = D4.5SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).34C2^2128,375
(C4×Q8).35C22 = D43Q16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).35C2^2128,376
(C4×Q8).36C22 = Q83Q16φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).36C2^2128,377
(C4×Q8).37C22 = Q84Q16φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).37C2^2128,380
(C4×Q8).38C22 = D44Q16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).38C2^2128,381
(C4×Q8).39C22 = C42.211C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).39C2^2128,382
(C4×Q8).40C22 = Q84SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).40C2^2128,383
(C4×Q8).41C22 = C42.213C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).41C2^2128,384
(C4×Q8).42C22 = Q8.SD16φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).42C2^2128,385
(C4×Q8).43C22 = C8⋊SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).43C2^2128,418
(C4×Q8).44C22 = C82SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).44C2^2128,420
(C4×Q8).45C22 = C8.SD16φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).45C2^2128,422
(C4×Q8).46C22 = C8⋊Q16φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).46C2^2128,424
(C4×Q8).47C22 = C82Q16φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).47C2^2128,426
(C4×Q8).48C22 = C8.3Q16φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).48C2^2128,428
(C4×Q8).49C22 = C42.249C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).49C2^2128,430
(C4×Q8).50C22 = C42.251C23φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).50C2^2128,432
(C4×Q8).51C22 = C42.253C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).51C2^2128,434
(C4×Q8).52C22 = C42.255C23φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).52C2^2128,436
(C4×Q8).53C22 = C42.276C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).53C2^2128,1679
(C4×Q8).54C22 = C42.279C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).54C2^2128,1682
(C4×Q8).55C22 = C42.280C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).55C2^2128,1683
(C4×Q8).56C22 = C42.281C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).56C2^2128,1684
(C4×Q8).57C22 = C42.287C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).57C2^2128,1693
(C4×Q8).58C22 = M4(2)⋊9Q8φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).58C2^2128,1694
(C4×Q8).59C22 = C42.292C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).59C2^2128,1699
(C4×Q8).60C22 = C42.293C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).60C2^2128,1700
(C4×Q8).61C22 = C42.305C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).61C2^2128,1719
(C4×Q8).62C22 = C42.307C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).62C2^2128,1724
(C4×Q8).63C22 = C42.310C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).63C2^2128,1727
(C4×Q8).64C22 = C42.17C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).64C2^2128,1776
(C4×Q8).65C22 = C42.19C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).65C2^2128,1778
(C4×Q8).66C22 = C42.21C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).66C2^2128,1814
(C4×Q8).67C22 = C42.22C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).67C2^2128,1815
(C4×Q8).68C22 = C42.23C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).68C2^2128,1816
(C4×Q8).69C22 = C42.384D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).69C2^2128,1834
(C4×Q8).70C22 = C42.224D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).70C2^2128,1836
(C4×Q8).71C22 = C42.451D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).71C2^2128,1839
(C4×Q8).72C22 = C42.226D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).72C2^2128,1840
(C4×Q8).73C22 = C42.229D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).73C2^2128,1843
(C4×Q8).74C22 = C42.231D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).74C2^2128,1845
(C4×Q8).75C22 = C42.234D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).75C2^2128,1848
(C4×Q8).76C22 = C42.235D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).76C2^2128,1849
(C4×Q8).77C22 = C42.353C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).77C2^2128,1851
(C4×Q8).78C22 = C42.354C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).78C2^2128,1852
(C4×Q8).79C22 = C42.355C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).79C2^2128,1853
(C4×Q8).80C22 = C42.358C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).80C2^2128,1856
(C4×Q8).81C22 = C42.359C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).81C2^2128,1857
(C4×Q8).82C22 = C42.360C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).82C2^2128,1858
(C4×Q8).83C22 = C42.361C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).83C2^2128,1859
(C4×Q8).84C22 = C42.365D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).84C2^2128,1899
(C4×Q8).85C22 = C42.308D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).85C2^2128,1900
(C4×Q8).86C22 = C42.367D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).86C2^2128,1902
(C4×Q8).87C22 = C42.255D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).87C2^2128,1903
(C4×Q8).88C22 = C42.256D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).88C2^2128,1904
(C4×Q8).89C22 = C42.385C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).89C2^2128,1905
(C4×Q8).90C22 = C42.386C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).90C2^2128,1906
(C4×Q8).91C22 = C42.387C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).91C2^2128,1907
(C4×Q8).92C22 = C42.389C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).92C2^2128,1909
(C4×Q8).93C22 = C42.390C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).93C2^2128,1910
(C4×Q8).94C22 = C42.391C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).94C2^2128,1911
(C4×Q8).95C22 = C42.257D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).95C2^2128,1912
(C4×Q8).96C22 = C42.258D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).96C2^2128,1913
(C4×Q8).97C22 = C42.259D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).97C2^2128,1914
(C4×Q8).98C22 = C42.260D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).98C2^2128,1915
(C4×Q8).99C22 = C42.262D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).99C2^2128,1917
(C4×Q8).100C22 = C42.267D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).100C2^2128,1941
(C4×Q8).101C22 = C42.268D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).101C2^2128,1942
(C4×Q8).102C22 = C42.270D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).102C2^2128,1944
(C4×Q8).103C22 = C42.274D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).103C2^2128,1948
(C4×Q8).104C22 = C42.276D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).104C2^2128,1950
(C4×Q8).105C22 = C42.277D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).105C2^2128,1951
(C4×Q8).106C22 = C42.409C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).106C2^2128,1955
(C4×Q8).107C22 = C42.411C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).107C2^2128,1957
(C4×Q8).108C22 = C42.281D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).108C2^2128,1961
(C4×Q8).109C22 = C42.282D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).109C2^2128,1962
(C4×Q8).110C22 = C42.283D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).110C2^2128,1963
(C4×Q8).111C22 = C42.284D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).111C2^2128,1964
(C4×Q8).112C22 = C42.285D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).112C2^2128,1965
(C4×Q8).113C22 = C42.288D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).113C2^2128,1968
(C4×Q8).114C22 = C42.289D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).114C2^2128,1969
(C4×Q8).115C22 = C42.290D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).115C2^2128,1970
(C4×Q8).116C22 = C42.291D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).116C2^2128,1971
(C4×Q8).117C22 = C42.292D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).117C2^2128,1972
(C4×Q8).118C22 = C42.424C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).118C2^2128,1974
(C4×Q8).119C22 = C42.425C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).119C2^2128,1975
(C4×Q8).120C22 = C42.426C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).120C2^2128,1976
(C4×Q8).121C22 = C42.294D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).121C2^2128,1978
(C4×Q8).122C22 = C42.295D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).122C2^2128,1979
(C4×Q8).123C22 = C42.296D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).123C2^2128,1980
(C4×Q8).124C22 = C42.297D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).124C2^2128,1981
(C4×Q8).125C22 = C42.298D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).125C2^2128,1982
(C4×Q8).126C22 = C42.299D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).126C2^2128,1983
(C4×Q8).127C22 = C42.300D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).127C2^2128,1984
(C4×Q8).128C22 = C42.302D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).128C2^2128,1986
(C4×Q8).129C22 = C42.303D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).129C2^2128,1987
(C4×Q8).130C22 = C42.304D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).130C2^2128,1988
(C4×Q8).131C22 = C4.2- 1+4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).131C2^2128,1989
(C4×Q8).132C22 = C42.25C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).132C2^2128,1990
(C4×Q8).133C22 = C42.27C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).133C2^2128,1992
(C4×Q8).134C22 = C42.28C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).134C2^2128,1993
(C4×Q8).135C22 = C42.29C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).135C2^2128,1994
(C4×Q8).136C22 = C42.30C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).136C2^2128,1995
(C4×Q8).137C22 = SD168D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).137C2^2128,2001
(C4×Q8).138C22 = Q169D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).138C2^2128,2002
(C4×Q8).139C22 = Q1610D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).139C2^2128,2003
(C4×Q8).140C22 = SD163D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).140C2^2128,2008
(C4×Q8).141C22 = Q164D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).141C2^2128,2009
(C4×Q8).142C22 = Q165D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).142C2^2128,2010
(C4×Q8).143C22 = SD1611D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).143C2^2128,2016
(C4×Q8).144C22 = Q1612D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).144C2^2128,2017
(C4×Q8).145C22 = D4×Q16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).145C2^2128,2018
(C4×Q8).146C22 = Q1613D4φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).146C2^2128,2019
(C4×Q8).147C22 = D48SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).147C2^2128,2030
(C4×Q8).148C22 = D45Q16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).148C2^2128,2031
(C4×Q8).149C22 = C42.465C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).149C2^2128,2032
(C4×Q8).150C22 = C42.466C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).150C2^2128,2033
(C4×Q8).151C22 = C42.467C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).151C2^2128,2034
(C4×Q8).152C22 = C42.469C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).152C2^2128,2036
(C4×Q8).153C22 = C42.470C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).153C2^2128,2037
(C4×Q8).154C22 = C42.43C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).154C2^2128,2040
(C4×Q8).155C22 = C42.44C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).155C2^2128,2041
(C4×Q8).156C22 = C42.47C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).156C2^2128,2044
(C4×Q8).157C22 = C42.48C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).157C2^2128,2045
(C4×Q8).158C22 = C42.50C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).158C2^2128,2047
(C4×Q8).159C22 = C42.51C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).159C2^2128,2048
(C4×Q8).160C22 = C42.52C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).160C2^2128,2049
(C4×Q8).161C22 = C42.55C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).161C2^2128,2052
(C4×Q8).162C22 = C42.56C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).162C2^2128,2053
(C4×Q8).163C22 = C42.475C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).163C2^2128,2058
(C4×Q8).164C22 = C42.476C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).164C2^2128,2059
(C4×Q8).165C22 = C42.477C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).165C2^2128,2060
(C4×Q8).166C22 = C42.478C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).166C2^2128,2061
(C4×Q8).167C22 = C42.480C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).167C2^2128,2063
(C4×Q8).168C22 = C42.481C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).168C2^2128,2064
(C4×Q8).169C22 = C42.482C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).169C2^2128,2065
(C4×Q8).170C22 = D49SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).170C2^2128,2067
(C4×Q8).171C22 = C42.485C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).171C2^2128,2068
(C4×Q8).172C22 = C42.486C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).172C2^2128,2069
(C4×Q8).173C22 = D46Q16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).173C2^2128,2070
(C4×Q8).174C22 = C42.489C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).174C2^2128,2072
(C4×Q8).175C22 = C42.491C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).175C2^2128,2074
(C4×Q8).176C22 = C42.57C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).176C2^2128,2075
(C4×Q8).177C22 = C42.58C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).177C2^2128,2076
(C4×Q8).178C22 = C42.60C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).178C2^2128,2078
(C4×Q8).179C22 = C42.62C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).179C2^2128,2080
(C4×Q8).180C22 = C42.63C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).180C2^2128,2081
(C4×Q8).181C22 = C42.64C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).181C2^2128,2082
(C4×Q8).182C22 = C42.492C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).182C2^2128,2083
(C4×Q8).183C22 = C42.493C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).183C2^2128,2084
(C4×Q8).184C22 = C42.494C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).184C2^2128,2085
(C4×Q8).185C22 = C42.497C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).185C2^2128,2088
(C4×Q8).186C22 = C42.498C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).186C2^2128,2089
(C4×Q8).187C22 = C42.505C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).187C2^2128,2096
(C4×Q8).188C22 = C42.506C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).188C2^2128,2097
(C4×Q8).189C22 = C42.507C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).189C2^2128,2098
(C4×Q8).190C22 = C42.508C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).190C2^2128,2099
(C4×Q8).191C22 = C42.509C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).191C2^2128,2100
(C4×Q8).192C22 = C42.510C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).192C2^2128,2101
(C4×Q8).193C22 = C42.511C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).193C2^2128,2102
(C4×Q8).194C22 = C42.512C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).194C2^2128,2103
(C4×Q8).195C22 = C42.513C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).195C2^2128,2104
(C4×Q8).196C22 = C42.514C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).196C2^2128,2105
(C4×Q8).197C22 = C42.515C23φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).197C2^2128,2106
(C4×Q8).198C22 = C42.516C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).198C2^2128,2107
(C4×Q8).199C22 = C42.517C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).199C2^2128,2108
(C4×Q8).200C22 = C42.518C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).200C2^2128,2109
(C4×Q8).201C22 = Q8×SD16φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).201C2^2128,2111
(C4×Q8).202C22 = Q8×Q16φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).202C2^2128,2114
(C4×Q8).203C22 = D84Q8φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).203C2^2128,2116
(C4×Q8).204C22 = SD16⋊Q8φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).204C2^2128,2117
(C4×Q8).205C22 = SD162Q8φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).205C2^2128,2118
(C4×Q8).206C22 = Q164Q8φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).206C2^2128,2119
(C4×Q8).207C22 = SD163Q8φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).207C2^2128,2120
(C4×Q8).208C22 = D85Q8φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).208C2^2128,2121
(C4×Q8).209C22 = Q165Q8φ: C22/C1C22 ⊆ Out C4×Q8128(C4xQ8).209C2^2128,2122
(C4×Q8).210C22 = C42.527C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).210C2^2128,2125
(C4×Q8).211C22 = C42.528C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).211C2^2128,2126
(C4×Q8).212C22 = C42.72C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).212C2^2128,2129
(C4×Q8).213C22 = C42.73C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).213C2^2128,2130
(C4×Q8).214C22 = C42.74C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).214C2^2128,2131
(C4×Q8).215C22 = C42.75C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).215C2^2128,2132
(C4×Q8).216C22 = C42.531C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).216C2^2128,2133
(C4×Q8).217C22 = C42.532C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).217C2^2128,2134
(C4×Q8).218C22 = C42.533C23φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).218C2^2128,2135
(C4×Q8).219C22 = C22.91C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).219C2^2128,2234
(C4×Q8).220C22 = C22.92C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).220C2^2128,2235
(C4×Q8).221C22 = C22.93C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).221C2^2128,2236
(C4×Q8).222C22 = C22.96C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).222C2^2128,2239
(C4×Q8).223C22 = C22.98C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).223C2^2128,2241
(C4×Q8).224C22 = C22.100C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).224C2^2128,2243
(C4×Q8).225C22 = C22.104C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).225C2^2128,2247
(C4×Q8).226C22 = C22.105C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).226C2^2128,2248
(C4×Q8).227C22 = C22.106C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).227C2^2128,2249
(C4×Q8).228C22 = C22.107C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).228C2^2128,2250
(C4×Q8).229C22 = C22.111C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).229C2^2128,2254
(C4×Q8).230C22 = C23.146C24φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).230C2^2128,2255
(C4×Q8).231C22 = C22.113C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).231C2^2128,2256
(C4×Q8).232C22 = C22.120C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).232C2^2128,2263
(C4×Q8).233C22 = C22.133C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).233C2^2128,2276
(C4×Q8).234C22 = C22.136C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).234C2^2128,2279
(C4×Q8).235C22 = C22.137C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).235C2^2128,2280
(C4×Q8).236C22 = C22.139C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).236C2^2128,2282
(C4×Q8).237C22 = C22.141C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).237C2^2128,2284
(C4×Q8).238C22 = C22.142C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).238C2^2128,2285
(C4×Q8).239C22 = C22.143C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).239C2^2128,2286
(C4×Q8).240C22 = C22.144C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).240C2^2128,2287
(C4×Q8).241C22 = C22.145C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).241C2^2128,2288
(C4×Q8).242C22 = C22.146C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).242C2^2128,2289
(C4×Q8).243C22 = C22.148C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).243C2^2128,2291
(C4×Q8).244C22 = C22.152C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).244C2^2128,2295
(C4×Q8).245C22 = C22.154C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).245C2^2128,2297
(C4×Q8).246C22 = C22.156C25φ: C22/C1C22 ⊆ Out C4×Q864(C4xQ8).246C2^2128,2299
(C4×Q8).247C22 = C2×Q8⋊C8φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).247C2^2128,207
(C4×Q8).248C22 = C42.455D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).248C2^2128,208
(C4×Q8).249C22 = C42.397D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).249C2^2128,209
(C4×Q8).250C22 = C42.399D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).250C2^2128,211
(C4×Q8).251C22 = Q8⋊M4(2)φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).251C2^2128,219
(C4×Q8).252C22 = C42.374D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).252C2^2128,220
(C4×Q8).253C22 = D44M4(2)φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).253C2^2128,221
(C4×Q8).254C22 = Q85M4(2)φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).254C2^2128,223
(C4×Q8).255C22 = C8×SD16φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).255C2^2128,308
(C4×Q8).256C22 = C8×Q16φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).256C2^2128,309
(C4×Q8).257C22 = SD16⋊C8φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).257C2^2128,310
(C4×Q8).258C22 = Q165C8φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).258C2^2128,311
(C4×Q8).259C22 = C815SD16φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).259C2^2128,315
(C4×Q8).260C22 = Q82M4(2)φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).260C2^2128,320
(C4×Q8).261C22 = C814SD16φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).261C2^2128,398
(C4×Q8).262C22 = C813SD16φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).262C2^2128,400
(C4×Q8).263C22 = Q81Q16φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).263C2^2128,402
(C4×Q8).264C22 = C88Q16φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).264C2^2128,404
(C4×Q8).265C22 = C87Q16φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).265C2^2128,406
(C4×Q8).266C22 = Q8.1Q16φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).266C2^2128,408
(C4×Q8).267C22 = Q8.2SD16φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).267C2^2128,410
(C4×Q8).268C22 = Q8.3SD16φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).268C2^2128,412
(C4×Q8).269C22 = Q8.2D8φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).269C2^2128,414
(C4×Q8).270C22 = Q8.2Q16φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).270C2^2128,416
(C4×Q8).271C22 = C2×C4×Q16φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).271C2^2128,1670
(C4×Q8).272C22 = C4×C4○D8φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).272C2^2128,1671
(C4×Q8).273C22 = C2×Q16⋊C4φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).273C2^2128,1673
(C4×Q8).274C22 = C42.383D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).274C2^2128,1675
(C4×Q8).275C22 = C4×C8.C22φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).275C2^2128,1677
(C4×Q8).276C22 = C2×C84Q8φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).276C2^2128,1691
(C4×Q8).277C22 = C42.286C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).277C2^2128,1692
(C4×Q8).278C22 = C42.290C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).278C2^2128,1697
(C4×Q8).279C22 = C42.291C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).279C2^2128,1698
(C4×Q8).280C22 = C42.294C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).280C2^2128,1701
(C4×Q8).281C22 = D46M4(2)φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).281C2^2128,1702
(C4×Q8).282C22 = C42.302C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).282C2^2128,1715
(C4×Q8).283C22 = C42.696C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).283C2^2128,1717
(C4×Q8).284C22 = C42.304C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).284C2^2128,1718
(C4×Q8).285C22 = C42.698C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).285C2^2128,1721
(C4×Q8).286C22 = D48M4(2)φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).286C2^2128,1722
(C4×Q8).287C22 = C42.308C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).287C2^2128,1725
(C4×Q8).288C22 = C42.309C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).288C2^2128,1726
(C4×Q8).289C22 = C2×C42Q16φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).289C2^2128,1765
(C4×Q8).290C22 = C42.443D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).290C2^2128,1767
(C4×Q8).291C22 = C42.212D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).291C2^2128,1769
(C4×Q8).292C22 = C42.445D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).292C2^2128,1771
(C4×Q8).293C22 = C2×Q8⋊Q8φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).293C2^2128,1805
(C4×Q8).294C22 = C2×C4.Q16φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).294C2^2128,1806
(C4×Q8).295C22 = C2×Q8.Q8φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).295C2^2128,1807
(C4×Q8).296C22 = C42.447D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).296C2^2128,1808
(C4×Q8).297C22 = C42.220D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).297C2^2128,1810
(C4×Q8).298C22 = C42.448D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).298C2^2128,1811
(C4×Q8).299C22 = C42.449D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).299C2^2128,1812
(C4×Q8).300C22 = C42.223D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).300C2^2128,1835
(C4×Q8).301C22 = C42.450D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).301C2^2128,1838
(C4×Q8).302C22 = C42.230D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).302C2^2128,1844
(C4×Q8).303C22 = C42.233D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).303C2^2128,1847
(C4×Q8).304C22 = Q84D8φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).304C2^2128,2090
(C4×Q8).305C22 = Q87SD16φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).305C2^2128,2091
(C4×Q8).306C22 = C42.501C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).306C2^2128,2092
(C4×Q8).307C22 = C42.502C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).307C2^2128,2093
(C4×Q8).308C22 = Q88SD16φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).308C2^2128,2094
(C4×Q8).309C22 = Q85Q16φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).309C2^2128,2095
(C4×Q8).310C22 = Q8×D8φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).310C2^2128,2110
(C4×Q8).311C22 = D86Q8φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).311C2^2128,2112
(C4×Q8).312C22 = SD164Q8φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).312C2^2128,2113
(C4×Q8).313C22 = Q166Q8φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).313C2^2128,2115
(C4×Q8).314C22 = Q85D8φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).314C2^2128,2123
(C4×Q8).315C22 = Q89SD16φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).315C2^2128,2124
(C4×Q8).316C22 = Q86Q16φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).316C2^2128,2127
(C4×Q8).317C22 = C42.530C23φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).317C2^2128,2128
(C4×Q8).318C22 = C4×2- 1+4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).318C2^2128,2162
(C4×Q8).319C22 = C22.50C25φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).319C2^2128,2193
(C4×Q8).320C22 = C2×Q83Q8φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).320C2^2128,2208
(C4×Q8).321C22 = C2×Q82φ: C22/C2C2 ⊆ Out C4×Q8128(C4xQ8).321C2^2128,2209
(C4×Q8).322C22 = Q8×C4○D4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).322C2^2128,2210
(C4×Q8).323C22 = C22.69C25φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).323C2^2128,2212
(C4×Q8).324C22 = C22.71C25φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).324C2^2128,2214
(C4×Q8).325C22 = C22.72C25φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).325C2^2128,2215
(C4×Q8).326C22 = C4⋊2- 1+4φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).326C2^2128,2229
(C4×Q8).327C22 = C22.88C25φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).327C2^2128,2231
(C4×Q8).328C22 = C22.101C25φ: C22/C2C2 ⊆ Out C4×Q864(C4xQ8).328C2^2128,2244
(C4×Q8).329C22 = Q8×C2×C8φ: trivial image128(C4xQ8).329C2^2128,1690
(C4×Q8).330C22 = Q8×M4(2)φ: trivial image64(C4xQ8).330C2^2128,1695
(C4×Q8).331C22 = C8×C4○D4φ: trivial image64(C4xQ8).331C2^2128,1696
(C4×Q8).332C22 = Q86M4(2)φ: trivial image64(C4xQ8).332C2^2128,1703
(C4×Q8).333C22 = C42.695C23φ: trivial image64(C4xQ8).333C2^2128,1714
(C4×Q8).334C22 = Q8.4M4(2)φ: trivial image64(C4xQ8).334C2^2128,1716
(C4×Q8).335C22 = C42.697C23φ: trivial image64(C4xQ8).335C2^2128,1720
(C4×Q8).336C22 = Q87M4(2)φ: trivial image64(C4xQ8).336C2^2128,1723

׿
×
𝔽